Integer Circuit Evaluation Is
نویسنده
چکیده
Wagner 10] introduced the Integer Circuit Evaluation problem. Informally , the problem concerns a circuit that takes singleton sets, each containing one integer, and combines them using three types of set operations: The problem is to determine whether the set output by the circuit contains a particular integer. In this paper we show that the Integer Circuit problem is PSPACE-complete, resolving an open problem posed by McKenzie, Vollmer and Wagner 7].
منابع مشابه
An Improved RNS Reverse Converter in Three-Moduli Set
Residue Number System (RNS) is a carry-free and non-weighed integer system. In this paper an improved three-moduli set in reverse converter based on CRT algorithm is proposed. CRT algorithm can perform a better delay and hardware implementation in modules via other algorithms. This moduli is based on p that covers a wide range on modules and supports the whole range of its modules in dynamic r...
متن کاملMulti Objective Inclined Planes System Optimization Algorithm for VLSI Circuit Partitioning
In this paper multi objective optimization problem for partitioning process of VLSI circuit optimization is solved using IPO algorithm. The methodology used in this paper is based upon the dynamic of sliding motion along a frictionless inclined plane. In this work, modules and elements of the circuit are divided into two smaller parts (components) in order to minimize the cutsize and area imbal...
متن کاملReliability-Aware Heterogeneous 3D Chip Multiprocessor Design
Ability to stack separate chips in a single package enables threedimensional integrated circuits (3D ICs). Heterogeneous 3D ICs provide even better opportunities to reduce the power and increase the performance per unit area. An important issue in designing a heterogeneous 3D IC is reliability. To achieve this, one needs to select the data mapping and processor layout carefully. This paper addr...
متن کاملA mixed integer bi-level DEA model for bank branch performance evaluation by Stackelberg approach
One of the most complicated decision making problems for managers is the evaluation of bank performance, which involves various criteria. There are many studies about bank efficiency evaluation by network DEA in the literature review. These studies do not focus on multi-level network. Wu (Eur J Oper Res 207:856–864, 2010) proposed a bi-level structure for cost efficiency at the first time. In t...
متن کاملDevelopment Synthesis, Evaluation, and Selection of Parts Design Scheme in Supplier Involved Product Concurrent Engineering: Research and Applications Synthesis, Evaluation, and Selection of Parts Design Scheme in Supplier Involved Product Development
Taking into account the supplier involvement in the new product development (NPD), this article focuses on the synthesis evaluation, and selection of the part design scheme in part deployment process. The concepts of performance indicator (PI) and integrated performance indicators (IPI) are introduced to measure the performance of the part design scheme and product design scheme respectively. A...
متن کامل